lambda operator - Übersetzung nach russisch
Diclib.com
Wörterbuch ChatGPT
Geben Sie ein Wort oder eine Phrase in einer beliebigen Sprache ein 👆
Sprache:

Übersetzung und Analyse von Wörtern durch künstliche Intelligenz ChatGPT

Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:

  • wie das Wort verwendet wird
  • Häufigkeit der Nutzung
  • es wird häufiger in mündlicher oder schriftlicher Rede verwendet
  • Wortübersetzungsoptionen
  • Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
  • Etymologie

lambda operator - Übersetzung nach russisch

SERIES OF JAPANESE ROCKETS
Lambda 4-S; Lambda (rocket); Lambda-4
  • Lambda 4S (replica) and the launcher as exhibited at [[National Museum of Nature and Science]].

lambda operator      

математика

лямбда-оператор

functional abstraction         
FORMAL SYSTEM IN MATHEMATICAL LOGIC
Lamda calculus; Lambda-calculus; Lambda abstraction; Lambda-definable function; Lambda-definable functions; Lambda calculas; Beta reduction; Alpha conversion; Lambda-recursive function; Lambda programming; Eta reduction; Lambda Calculus; Untyped lambda calculus; Λ-calculus; Alpha equivalence; Eta expansion; Abstraction operator; Alpha reduction; Beta substitution; Beta conversion; Α conversion; Λ calculus; Β-reduction; B-reduction; L-calculus; L calculus; A conversion; Beta-reduction; Λa-calculus; Lanbda-calculus; Lambda kalkül; Alpha renaming; Lambda calculi; Λ-abstraction; AlphaRenaming; Α-conversion; Capture-avoiding substitution; Lambda term; Lamda expression; Alpha-renaming; Alpha-conversion; Eta conversion; Eta-conversion; Η-conversion; Η conversion; Lambda language; Type-free lambda calculus; Typefree lambda calculus; Type free lambda calculus; Eta-reduction; Functional abstraction; Λx; Λy; Λz; Anonymous function abstraction; Lambda-calculi; Lambda-term bound variables; Lambda terms; Alpha equivalent

математика

функциональная абстракция

абстракция функций

lambda calculus         
FORMAL SYSTEM IN MATHEMATICAL LOGIC
Lamda calculus; Lambda-calculus; Lambda abstraction; Lambda-definable function; Lambda-definable functions; Lambda calculas; Beta reduction; Alpha conversion; Lambda-recursive function; Lambda programming; Eta reduction; Lambda Calculus; Untyped lambda calculus; Λ-calculus; Alpha equivalence; Eta expansion; Abstraction operator; Alpha reduction; Beta substitution; Beta conversion; Α conversion; Λ calculus; Β-reduction; B-reduction; L-calculus; L calculus; A conversion; Beta-reduction; Λa-calculus; Lanbda-calculus; Lambda kalkül; Alpha renaming; Lambda calculi; Λ-abstraction; AlphaRenaming; Α-conversion; Capture-avoiding substitution; Lambda term; Lamda expression; Alpha-renaming; Alpha-conversion; Eta conversion; Eta-conversion; Η-conversion; Η conversion; Lambda language; Type-free lambda calculus; Typefree lambda calculus; Type free lambda calculus; Eta-reduction; Functional abstraction; Λx; Λy; Λz; Anonymous function abstraction; Lambda-calculi; Lambda-term bound variables; Lambda terms; Alpha equivalent

математика

лямбда-исчисление

Definition

beta conversion

Wikipedia

Lambda (rocket family)

Lambda is the name of a series of Japanese carrier rockets. It consisted of the types Lambda 2, LS-A, LSC-3, Lambda 3, Lambda 4 and LS-C, developed jointly by Institute of Industrial Science of University of Tokyo, Institute of Space and Astronautical Science of Tokyo University, and Prince Motor Company, which merged with Nissan in 1966.

On February 11, 1970, the first Japanese satellite Ohsumi was launched using a Lambda 4 rocket.

Lambda series rockets did not have guidance systems, as they had the potential to be converted for offensive military use, thus interpreted as a violation of Article 9 of the Japanese Constitution. However, future Japanese launch vehicles, such as the H-II, were allowed to have guidance systems.

The Lambda 4 was launched nine times, though five were failures. The first launch of the Lambda 4S rocket took place on September 26, 1966, from Kagoshima. A fourth-stage attitude control failed resulting in loss of the vehicle and payload. The last launch date was September 1, 1974.

Übersetzung von &#39lambda operator&#39 in Russisch